搜索包含 Colloquium on Automata 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Colloquium on Automata 的图书(共214本)

	Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I 0 索取号：作者：Bugliesi、 Michele.、Preneel、 Bart.、Sassone、 Vladimiro.、Wegener、 Ingo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Structural Information and Communication Complexity [electronic resource] : 13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006. Proceedings 0 索取号：作者：Flocchini、 Paola.、G膮sieniec、 Leszek.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Wind Energy [electronic resource] : Proceedings of the Euromech Colloquium 0 索取号：作者：Peinke、 Joachim.、Schaumann、 Peter.、Barth、 Stephan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Implementation and Application of Automata [electronic resource] : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers 0 索取号：作者：Farr茅、 Jacques.、Litovsky、 Igor.、Schmitz、 Sylvain.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Formal Models of Communicating Systems [electronic resource] : Languages, Automata, and Monadic Second-Order Logic 0 索取号：作者：Bollig、 Benedikt.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Advances in Verification of Time Petri Nets and Timed Automata [electronic resource] : A Temporal Logic Approach 0 索取号：作者：Penczek、 Wojciech.、P贸lrola、 Agata.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Structural Information and Communication Complexity [electronic resource] : 12 International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005. Proceedings 0 索取号：作者：Pelc、 Andrzej.、Raynal、 Michel.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Theoretical Aspects of Computing-ICTAC 2005 [electronic resource] : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings 0 索取号：作者：Hung、 Dang.、Wirsing、 Martin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Theoretical Aspects of Computing - ICTAC 2004 [electronic resource] : First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers 0 索取号：作者：Liu、 Zhiming.、Araki、 Keijiro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Automata, Languages and Programming [electronic resource] : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings 0 索取号：作者：Caires、 Lu铆s.、Italiano、 Giuseppe F.、Monteiro、 Lu铆s.、Palamidessi、 Catuscia.、Yung、 Moti.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Implementation and Application of Automata [electronic resource] : 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers 0 索取号：作者：Domaratzki、 Michael.、Okhotin、 Alexander.、Salomaa、 Kai.、Yu、 Sheng.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Cosmic Explosions [electronic resource] : On the 10th Anniversary of SN1993J (IAU Colloquium 192) 0 索取号：作者：Marcaide、 Juan-Mar铆a.、Weiler、 Kurt W.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Game of Life Cellular Automata [electronic resource] 0 索取号：作者：Adamatzky、 Andrew.、SpringerLink (Online service)、出版社：London : Springer London, 2010.		A Course in Formal Languages, Automata and Groups [electronic resource] 0 索取号：作者：Chiswell、 Ian M.、SpringerLink (Online service)、出版社：London : Springer London, 2009.
	Concurrency Theory [electronic resource] : Calculi and Automata for Modelling Untimed and Timed Concurrent Systems 0 索取号：作者：Bowman、 Howard.、Gomez、 Rodolfo.、SpringerLink (Online service)、出版社：London : Springer London, 2006.		A Comparison of the Dynamical Evolution of Planetary Systems [electronic resource] : Proceedings of the Sixth Alexander von Humboldt Colloquium on Celestial Mechanics Bad Hofgastein (Austria), 21鈥ⷠMarch 2004 0 索取号：作者：Dvorak、 Rudolf.、Ferraz-Mello、 Sylvio.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2005.

	Automata, Languages and Programming [electronic resource] : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I 0 索取号：作者：Bugliesi、 Michele.、Preneel、 Bart.、Sassone、 Vladimiro.、Wegener、 Ingo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Structural Information and Communication Complexity [electronic resource] : 13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006. Proceedings 0 索取号：作者：Flocchini、 Paola.、G膮sieniec、 Leszek.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Wind Energy [electronic resource] : Proceedings of the Euromech Colloquium 0 索取号：作者：Peinke、 Joachim.、Schaumann、 Peter.、Barth、 Stephan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Implementation and Application of Automata [electronic resource] : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers 0 索取号：作者：Farr茅、 Jacques.、Litovsky、 Igor.、Schmitz、 Sylvain.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Formal Models of Communicating Systems [electronic resource] : Languages, Automata, and Monadic Second-Order Logic 0 索取号：作者：Bollig、 Benedikt.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.		Advances in Verification of Time Petri Nets and Timed Automata [electronic resource] : A Temporal Logic Approach 0 索取号：作者：Penczek、 Wojciech.、P贸lrola、 Agata.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
	Structural Information and Communication Complexity [electronic resource] : 12 International Colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005. Proceedings 0 索取号：作者：Pelc、 Andrzej.、Raynal、 Michel.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Theoretical Aspects of Computing-ICTAC 2005 [electronic resource] : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings 0 索取号：作者：Hung、 Dang.、Wirsing、 Martin.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Theoretical Aspects of Computing - ICTAC 2004 [electronic resource] : First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers 0 索取号：作者：Liu、 Zhiming.、Araki、 Keijiro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Automata, Languages and Programming [electronic resource] : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings 0 索取号：作者：Caires、 Lu铆s.、Italiano、 Giuseppe F.、Monteiro、 Lu铆s.、Palamidessi、 Catuscia.、Yung、 Moti.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Implementation and Application of Automata [electronic resource] : 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers 0 索取号：作者：Domaratzki、 Michael.、Okhotin、 Alexander.、Salomaa、 Kai.、Yu、 Sheng.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.		Cosmic Explosions [electronic resource] : On the 10th Anniversary of SN1993J (IAU Colloquium 192) 0 索取号：作者：Marcaide、 Juan-Mar铆a.、Weiler、 Kurt W.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
	Game of Life Cellular Automata [electronic resource] 0 索取号：作者：Adamatzky、 Andrew.、SpringerLink (Online service)、出版社：London : Springer London, 2010.		A Course in Formal Languages, Automata and Groups [electronic resource] 0 索取号：作者：Chiswell、 Ian M.、SpringerLink (Online service)、出版社：London : Springer London, 2009.
	Concurrency Theory [electronic resource] : Calculi and Automata for Modelling Untimed and Timed Concurrent Systems 0 索取号：作者：Bowman、 Howard.、Gomez、 Rodolfo.、SpringerLink (Online service)、出版社：London : Springer London, 2006.		A Comparison of the Dynamical Evolution of Planetary Systems [electronic resource] : Proceedings of the Sixth Alexander von Humboldt Colloquium on Celestial Mechanics Bad Hofgastein (Austria), 21鈥ⷠMarch 2004 0 索取号：作者：Dvorak、 Rudolf.、Ferraz-Mello、 Sylvio.、SpringerLink (Online service)、出版社：Dordrecht : Springer Netherlands, 2005.